OOLH: A Formal Framework for Specifying System Requirements
نویسندگان
چکیده
Most of the system requirements are written in natural language. It is not easy for the system development team to understand this document unambiguously without domain specific knowledge. It is difficult to check the correctness of these requirements. A formal framework called Object Oriented Lastenheft (German for requirements specification) (OOLH) is proposed as a solution to handle these problems . This framework provides well-defined mathematical concepts to formulate system requirements. These well-formalized system requirements can be analyzed and understood easier and their consistency can be checked based on the mathematical concepts. A tool, called OOLH tool, is implemented to support analyzing, verifying and checking consistency of formulas in OOLH. Logical formulas can be transformed into decision tables and truth tables. The expected behavior or a design can be specified in decision tables in this tool, such that the correctness of requirements can be verified.
منابع مشابه
Requirements Specifications for Hybrid Systems
The purpose of a computer system requirements speci cation is to describe the computer system's required external behavior. To avoid overspeci cation, the requirements speci cation should describe the system behavior as a mathematical relation between entities in the system's environment. When some of these entities are continuous and others are discrete, the system is referred to as a \hybrid"...
متن کاملSpecifying Mode Requirements of Embedded Systems
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital control. It does this by extending an existing formal notation supporting continuous, real-time behaviour with an explicit concept of modes. The resulting notation avoids the subtleties which would otherwise arise when s...
متن کاملA Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems
As a distributed computing system, a CNC system needs to be operated reliably, dependably, and safely. How to design reliable and dependable software and perform effective verification for CNC systems becomes an important research problem. In this paper, we propose a new modeling method called TTM/ATRTTL (timed transition models/all-time real-time temporal logics) for specifying CNC systems. TT...
متن کاملConstraint-Based Agents: A Formal Model for Agent Design
Formal models for agent design are important for both practical and theoretical reasons. The Constraint-Based Agent (CBA) model includes a set of tools and methods for specifying, designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in an active environment. The agent and the environment are modelled symmetrically as, possibly hybrid, dy...
متن کاملUsing a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA
Requirements Engineering is more and more considered as a central phase in the development and implementation of computer systems. Within the context of CIM, the CIMOSA project proposes a set of models based on adequate concepts for expressing requirements. In this paper, we suggest how these models can be supported by the use of a fully formal requirements specification language called ALBERT ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008